POSet{i}  Type{i'} 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet, POSet{i}
Definitions	x,y. t(x;y), POSet{i}, t  T, DSet, x(s1,s2), , x:A. B(x), QOSet
Lemmas	set leq wf, set car wf, anti sym wf, qoset wf